TAGs: find solution set